\documentclass{article}

% The file ijcai13.sty is the style file for IJCAI-13 (same as ijcai07.sty).
\usepackage{ijcai13}

% Use the postscript times font!
\usepackage{times}
\usepackage{graphicx}
\usepackage[lined,boxed]{algorithm2e}
\usepackage{amsmath, amsthm, amssymb}
\usepackage{verbatim}

\newenvironment{definition}[1][Definition]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}]}{\end{trivlist}}

\begin{document}
%\pagenumbering{arabic}

\title{Synthesizing Union Tables from the Web}
\author{Xiao Ling \\ xiaoling@cs.washington.edu \\ University of Washington
 \And Alon Halevy \and Fei Wu \and Cong Yu \\
 \{halevy,wufei,congyu\}@google.com \\
 Google Research}
\maketitle

\input{abs.tex}
\input{intro.tex}
\input{problem.tex}
\input{stitch.tex}
\input{stitching_exp.tex}
\input{related.tex}
\input{conclusion.tex}

\newpage

\bibliographystyle{named}
\bibliography{main} 
\end{document}
